Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 2.Ident. | Authors (with country if any) | Title |
---|---|---|
004303 | Kentaro Kikuchi [Japon] ; Stéphane Lengrand [France] | Strong Normalisation of Cut-Elimination That Simulates β -Reduction |
004B82 | Kentaro Kikuchi [Japon] | Simple Proofs of Characterizing Strong Normalization for Explicit Substitution Calculi |
This area was generated with Dilib version V0.6.33. |